[next] [prev] [prev-tail] [tail] [up]

2.2.9 Integrals 801 to 900

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 801

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F(-1) F(-1) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

939 938 1302 108974 0 0 0 0 -1

N.S.

1 1.00 1.39 116.05 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 11.232 14.693 2.559 0.000 0.000 0.000 0.000 0.000

Problem 802

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

54 54 167 0 0 0 0 0 -1

N.S.

1 1.00 3.09 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.030 0.229 0.038 0.000 0.000 0.000 0.000 0.000

Problem 803

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F(-1) F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

89 89 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.048 0.101 0.041 0.000 0.000 0.000 0.000 0.000

Problem 804

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F(-1) F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

92 92 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.053 0.057 0.042 0.000 0.000 0.000 0.000 0.000

Problem 805

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

275 275 577 1786 811 2095 24206 3760 1943

N.S.

1 1.00 2.10 6.49 2.95 7.62 88.02 13.67 7.07

time (sec)

N/A 0.169 0.578 0.135 0.335 2.917 4.967 4.409 3.901

Problem 806

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

208 208 348 1029 512 1188 11946 2114 1133

N.S.

1 1.00 1.67 4.95 2.46 5.71 57.43 10.16 5.45

time (sec)

N/A 0.115 0.308 0.109 0.310 1.890 2.499 3.906 3.522

Problem 807

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

146 146 190 449 289 577 4952 1018 572

N.S.

1 1.00 1.30 3.08 1.98 3.95 33.92 6.97 3.92

time (sec)

N/A 0.070 0.202 0.109 0.308 4.016 1.222 6.460 3.288

Problem 808

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

84 84 92 147 135 224 1489 373 211

N.S.

1 1.00 1.10 1.75 1.61 2.67 17.73 4.44 2.51

time (sec)

N/A 0.037 0.104 0.105 0.315 4.926 0.567 3.810 3.072

Problem 809

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

114 114 125 0 0 0 0 0 -1

N.S.

1 1.00 1.10 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.092 0.336 0.029 0.000 0.000 0.000 0.000 0.000

Problem 810

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F(-2) F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

88 88 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.056 0.176 0.029 0.000 0.000 0.000 0.000 0.000

Problem 811

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

193 193 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.139 0.209 0.039 0.000 0.000 0.000 0.000 0.000

Problem 812

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

197 197 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.154 0.246 0.052 0.000 0.000 0.000 0.000 0.000

Problem 813

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

231 227 190 0 0 0 0 0 -1

N.S.

1 0.98 0.82 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.167 0.323 0.022 0.000 0.000 0.000 0.000 0.000

Problem 814

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

83 83 85 84 86 96 420 88 84

N.S.

1 1.00 1.02 1.01 1.04 1.16 5.06 1.06 1.01

time (sec)

N/A 0.065 0.035 0.098 0.294 1.222 74.151 4.681 3.420

Problem 815

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

184 184 177 280 253 306 0 281 266

N.S.

1 1.00 0.96 1.52 1.38 1.66 0.00 1.53 1.45

time (sec)

N/A 0.191 0.102 0.148 0.274 1.379 0.000 5.771 3.505

Problem 816

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

531 531 476 940 710 722 0 907 794

N.S.

1 1.00 0.90 1.77 1.34 1.36 0.00 1.71 1.50

time (sec)

N/A 0.619 0.290 0.145 0.299 5.022 0.000 3.532 4.195

Problem 817

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) F(-1) F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

246 246 246 244 0 0 0 392 2500

N.S.

1 1.00 1.00 0.99 0.00 0.00 0.00 1.59 10.16

time (sec)

N/A 0.296 0.217 0.283 0.000 0.000 0.000 4.427 19.247

Problem 818

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) F(-1) F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

644 644 710 2228 0 0 0 3315 2500

N.S.

1 1.00 1.10 3.46 0.00 0.00 0.00 5.15 3.88

time (sec)

N/A 1.259 1.661 0.936 0.000 0.000 0.000 4.824 32.634

Problem 819

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

287 287 412 285 411 458 1544 565 283

N.S.

1 1.00 1.44 0.99 1.43 1.60 5.38 1.97 0.99

time (sec)

N/A 0.317 0.317 0.080 0.316 2.194 73.950 4.317 0.150

Problem 820

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

212 212 256 205 258 278 1001 363 204

N.S.

1 1.00 1.21 0.97 1.22 1.31 4.72 1.71 0.96

time (sec)

N/A 0.208 0.198 0.100 0.306 2.784 46.645 3.039 3.169

Problem 821

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

137 137 131 125 138 140 549 199 125

N.S.

1 1.00 0.96 0.91 1.01 1.02 4.01 1.45 0.91

time (sec)

N/A 0.069 0.111 0.075 0.283 8.783 25.051 4.353 0.077

Problem 822

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

73 73 54 75 77 54 223 77 58

N.S.

1 1.00 0.74 1.03 1.05 0.74 3.05 1.05 0.79

time (sec)

N/A 0.026 0.041 0.083 0.276 2.450 4.763 3.956 3.119

Problem 823

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

116 116 104 115 0 334 112 128 117

N.S.

1 1.00 0.90 0.99 0.00 2.88 0.97 1.10 1.01

time (sec)

N/A 0.109 0.159 0.109 0.000 1.421 14.416 5.444 0.142

Problem 824

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

140 144 150 156 0 617 0 175 146

N.S.

1 1.03 1.07 1.11 0.00 4.41 0.00 1.25 1.04

time (sec)

N/A 0.183 0.478 0.126 0.000 1.114 0.000 5.113 0.233

Problem 825

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

206 210 203 260 0 1062 0 373 270

N.S.

1 1.02 0.99 1.26 0.00 5.16 0.00 1.81 1.31

time (sec)

N/A 0.240 0.830 0.114 0.000 1.761 0.000 4.006 0.281

Problem 826

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

285 285 406 650 419 466 452 669 394

N.S.

1 1.00 1.42 2.28 1.47 1.64 1.59 2.35 1.38

time (sec)

N/A 0.262 0.364 0.110 0.285 1.163 47.049 2.970 0.116

Problem 827

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

210 210 252 379 266 287 272 404 270

N.S.

1 1.00 1.20 1.80 1.27 1.37 1.30 1.92 1.29

time (sec)

N/A 0.188 0.213 0.092 0.277 2.134 25.837 2.728 3.127

Problem 828

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

135 135 128 173 146 150 141 204 147

N.S.

1 1.00 0.95 1.28 1.08 1.11 1.04 1.51 1.09

time (sec)

N/A 0.061 0.114 0.078 0.304 3.759 12.559 3.999 3.134

Problem 829

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

71 71 54 63 66 63 70 74 58

N.S.

1 1.00 0.76 0.89 0.93 0.89 0.99 1.04 0.82

time (sec)

N/A 0.024 0.046 0.071 0.301 4.685 5.222 3.036 0.060

Problem 830

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

122 122 124 122 0 543 116 112 162

N.S.

1 1.00 1.02 1.00 0.00 4.45 0.95 0.92 1.33

time (sec)

N/A 0.143 0.229 0.102 0.000 4.806 19.694 3.438 3.209

Problem 831

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

165 165 176 175 0 1110 0 282 218

N.S.

1 1.00 1.07 1.06 0.00 6.73 0.00 1.71 1.32

time (sec)

N/A 0.233 0.654 0.091 0.000 12.158 0.000 3.485 0.300

Problem 832

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

248 248 297 294 0 1888 0 462 363

N.S.

1 1.00 1.20 1.19 0.00 7.61 0.00 1.86 1.46

time (sec)

N/A 0.401 1.310 0.095 0.000 6.474 0.000 5.430 3.409

Problem 833

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A B F B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

91 191 102 231 0 214 0 16 916

N.S.

1 2.10 1.12 2.54 0.00 2.35 0.00 0.18 10.07

time (sec)

N/A 0.093 0.239 0.143 0.000 2.801 0.000 5.151 5.018

Problem 834

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

164 164 141 425 0 378 0 184 833

N.S.

1 1.00 0.86 2.59 0.00 2.30 0.00 1.12 5.08

time (sec)

N/A 0.118 0.340 0.084 0.000 3.315 0.000 5.017 22.379

Problem 835

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

333 333 289 1207 0 844 0 1048 -1

N.S.

1 1.00 0.87 3.62 0.00 2.53 0.00 3.15 -0.00

time (sec)

N/A 0.223 0.816 0.072 0.000 5.555 0.000 4.668 0.000

Problem 836

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

246 246 199 763 0 564 0 436 1832

N.S.

1 1.00 0.81 3.10 0.00 2.29 0.00 1.77 7.45

time (sec)

N/A 0.162 0.731 0.081 0.000 5.514 0.000 2.877 74.336

Problem 837

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

164 164 141 425 0 378 0 184 833

N.S.

1 1.00 0.86 2.59 0.00 2.30 0.00 1.12 5.08

time (sec)

N/A 0.086 0.055 0.000 0.000 6.439 0.000 4.144 0.002

Problem 838

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

129 129 131 697 0 564 0 218 -1

N.S.

1 1.00 1.02 5.40 0.00 4.37 0.00 1.69 -0.01

time (sec)

N/A 0.089 0.340 0.083 0.000 5.183 0.000 4.099 0.000

Problem 839

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

160 160 145 773 0 770 0 286 -1

N.S.

1 1.00 0.91 4.83 0.00 4.81 0.00 1.79 -0.01

time (sec)

N/A 0.118 0.229 0.088 0.000 7.884 0.000 4.274 0.000

Problem 840

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

198 198 177 210 0 360 0 452 260

N.S.

1 1.00 0.89 1.06 0.00 1.82 0.00 2.28 1.31

time (sec)

N/A 0.135 0.177 0.106 0.000 19.885 0.000 6.146 4.304

Problem 841

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

281 281 301 427 0 658 0 752 452

N.S.

1 1.00 1.07 1.52 0.00 2.34 0.00 2.68 1.61

time (sec)

N/A 0.180 0.352 0.082 0.000 84.763 0.000 2.514 4.654

Problem 842

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

249 249 167 834 0 573 0 0 -1

N.S.

1 1.00 0.67 3.35 0.00 2.30 0.00 0.00 -0.00

time (sec)

N/A 0.178 0.443 0.090 0.000 4.287 0.000 0.000 0.000

Problem 843

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

240 240 189 571 0 514 0 717 -1

N.S.

1 1.00 0.79 2.38 0.00 2.14 0.00 2.99 -0.00

time (sec)

N/A 0.144 0.431 0.083 0.000 3.133 0.000 3.583 0.000

Problem 844

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

176 176 152 392 0 398 0 441 1797

N.S.

1 1.00 0.86 2.23 0.00 2.26 0.00 2.51 10.21

time (sec)

N/A 0.106 0.441 0.090 0.000 2.482 0.000 4.345 73.154

Problem 845

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

122 122 103 247 0 308 0 145 893

N.S.

1 1.00 0.84 2.02 0.00 2.52 0.00 1.19 7.32

time (sec)

N/A 0.076 0.266 0.082 0.000 4.911 0.000 2.992 20.635

Problem 846

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

108 108 122 438 0 457 0 193 -1

N.S.

1 1.00 1.13 4.06 0.00 4.23 0.00 1.79 -0.01

time (sec)

N/A 0.073 0.255 0.074 0.000 4.591 0.000 3.987 0.000

Problem 847

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

116 116 99 601 0 651 0 218 -1

N.S.

1 1.00 0.85 5.18 0.00 5.61 0.00 1.88 -0.01

time (sec)

N/A 0.077 0.171 0.077 0.000 6.034 0.000 3.378 0.000

Problem 848

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

133 133 115 122 0 286 0 337 268

N.S.

1 1.00 0.86 0.92 0.00 2.15 0.00 2.53 2.02

time (sec)

N/A 0.078 0.129 0.077 0.000 5.380 0.000 3.548 4.301

Problem 849

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

189 189 185 207 0 482 0 524 389

N.S.

1 1.00 0.98 1.10 0.00 2.55 0.00 2.77 2.06

time (sec)

N/A 0.118 0.161 0.094 0.000 8.212 0.000 3.453 4.506

Problem 850

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F(-1) F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

417 417 473 11688 0 0 0 0 -1

N.S.

1 1.00 1.13 28.03 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 2.029 4.278 0.183 0.000 0.000 0.000 0.000 0.000

Problem 851

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F B F F(-1) F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

285 285 925 5482 0 4495 0 0 -1

N.S.

1 1.00 3.25 19.24 0.00 15.77 0.00 0.00 -0.00

time (sec)

N/A 0.363 10.903 0.136 0.000 100.483 0.000 0.000 0.000

Problem 852

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F(-1) F F(-1) F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

287 287 410 5507 0 0 0 0 -1

N.S.

1 1.00 1.43 19.19 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.287 3.511 0.158 0.000 0.000 0.000 0.000 0.000

Problem 853

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F(-1) F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

429 429 543 47351 0 0 0 0 -1

N.S.

1 1.00 1.27 110.38 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.910 3.754 0.231 0.000 0.000 0.000 0.000 0.000

Problem 854

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) F(-1) F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

532 532 513 879 0 0 0 0 -1

N.S.

1 1.00 0.96 1.65 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.051 3.280 0.147 0.000 0.000 0.000 0.000 0.000

Problem 855

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) F(-1) F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

325 325 316 585 0 0 0 0 -1

N.S.

1 1.00 0.97 1.80 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.446 1.565 0.145 0.000 0.000 0.000 0.000 0.000

Problem 856

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) F(-1) F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

219 219 213 407 0 0 0 0 -1

N.S.

1 1.00 0.97 1.86 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.203 0.884 0.123 0.000 0.000 0.000 0.000 0.000

Problem 857

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

152 152 140 329 0 990 0 0 -1

N.S.

1 1.00 0.92 2.16 0.00 6.51 0.00 0.00 -0.01

time (sec)

N/A 0.092 0.082 0.128 0.000 5.279 0.000 0.000 0.000

Problem 858

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) F(-1) F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

228 228 212 673 0 0 0 0 -1

N.S.

1 1.00 0.93 2.95 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.206 0.655 0.130 0.000 0.000 0.000 0.000 0.000

Problem 859

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F(-1) F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

490 490 228 1359 0 0 0 0 -1

N.S.

1 1.00 0.47 2.77 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.448 1.007 0.115 0.000 0.000 0.000 0.000 0.000

Problem 860

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F(-1) F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

673 673 609 2512 0 0 0 1844 -1

N.S.

1 1.00 0.90 3.73 0.00 0.00 0.00 2.74 -0.00

time (sec)

N/A 0.556 11.029 0.153 0.000 0.000 0.000 6.856 0.000

Problem 861

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F(-1) F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

933 933 858 3777 0 0 0 8035 -1

N.S.

1 1.00 0.92 4.05 0.00 0.00 0.00 8.61 -0.00

time (sec)

N/A 0.809 12.741 0.123 0.000 0.000 0.000 15.268 0.000

Problem 862

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) F(-1) F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

1098 1098 743 1409 0 0 0 0 -1

N.S.

1 1.00 0.68 1.28 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 2.326 11.644 0.170 0.000 0.000 0.000 0.000 0.000

Problem 863

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) F(-1) F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

662 662 536 998 0 0 0 0 -1

N.S.

1 1.00 0.81 1.51 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.978 10.911 0.172 0.000 0.000 0.000 0.000 0.000

Problem 864

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) F(-1) F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

441 441 427 742 0 0 0 0 -1

N.S.

1 1.00 0.97 1.68 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.542 2.696 0.135 0.000 0.000 0.000 0.000 0.000

Problem 865

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) F(-1) F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

252 252 243 625 0 0 0 0 -1

N.S.

1 1.00 0.96 2.48 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.207 0.102 0.128 0.000 0.000 0.000 0.000 0.000

Problem 866

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) F(-1) F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

491 491 323 1265 0 0 0 0 -1

N.S.

1 1.00 0.66 2.58 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.524 10.748 0.191 0.000 0.000 0.000 0.000 0.000

Problem 867

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F(-1) F(-1) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

787 787 357 2372 0 0 0 0 -1

N.S.

1 1.00 0.45 3.01 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.881 10.984 0.167 0.000 0.000 0.000 0.000 0.000

Problem 868

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F(-1) F(-1) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

1066 1066 1036 4242 0 0 0 0 -1

N.S.

1 1.00 0.97 3.98 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.086 12.175 0.138 0.000 0.000 0.000 0.000 0.000

Problem 869

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) F(-1) F(-1) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

886 886 647 2107 0 0 0 0 -1

N.S.

1 1.00 0.73 2.38 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.094 11.713 0.219 0.000 0.000 0.000 0.000 0.000

Problem 870

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) F(-1) F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

431 431 380 755 0 0 0 0 -1

N.S.

1 1.00 0.88 1.75 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.859 2.167 0.167 0.000 0.000 0.000 0.000 0.000

Problem 871

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) F(-1) F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

270 270 247 480 0 0 0 0 -1

N.S.

1 1.00 0.91 1.78 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.448 1.252 0.132 0.000 0.000 0.000 0.000 0.000

Problem 872

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) F(-1) F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

176 176 183 301 0 0 0 0 -1

N.S.

1 1.00 1.04 1.71 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.194 0.717 0.126 0.000 0.000 0.000 0.000 0.000

Problem 873

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

131 131 142 199 0 1073 0 0 -1

N.S.

1 1.00 1.08 1.52 0.00 8.19 0.00 0.00 -0.01

time (sec)

N/A 0.061 0.578 0.124 0.000 196.387 0.000 0.000 0.000

Problem 874

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

79 79 92 157 0 340 0 72 -1

N.S.

1 1.00 1.16 1.99 0.00 4.30 0.00 0.91 -0.01

time (sec)

N/A 0.025 0.018 0.120 0.000 3.321 0.000 3.206 0.000

Problem 875

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

182 182 207 327 0 1952 0 0 -1

N.S.

1 1.00 1.14 1.80 0.00 10.73 0.00 0.00 -0.01

time (sec)

N/A 0.146 0.770 0.133 0.000 70.441 0.000 0.000 0.000

Problem 876

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F(-1) F(-1) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

340 340 256 609 0 0 0 0 -1

N.S.

1 1.00 0.75 1.79 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.267 10.692 0.132 0.000 0.000 0.000 0.000 0.000

Problem 877

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F(-1) F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

587 587 549 1185 0 0 0 2256 -1

N.S.

1 1.00 0.94 2.02 0.00 0.00 0.00 3.84 -0.00

time (sec)

N/A 0.563 11.508 0.128 0.000 0.000 0.000 4.861 0.000

Problem 878

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) F(-1) F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

496 496 587 1026 0 0 0 0 -1

N.S.

1 1.00 1.18 2.07 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.724 11.493 0.159 0.000 0.000 0.000 0.000 0.000

Problem 879

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) F(-1) F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

357 357 354 740 0 0 0 0 -1

N.S.

1 1.00 0.99 2.07 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.323 4.029 0.137 0.000 0.000 0.000 0.000 0.000

Problem 880

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

240 240 244 555 0 2032 0 757 -1

N.S.

1 1.00 1.02 2.31 0.00 8.47 0.00 3.15 -0.00

time (sec)

N/A 0.188 1.197 0.132 0.000 12.230 0.000 6.140 0.000

Problem 881

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

187 187 198 445 0 1630 0 568 -1

N.S.

1 1.00 1.06 2.38 0.00 8.72 0.00 3.04 -0.01

time (sec)

N/A 0.088 0.825 0.133 0.000 14.438 0.000 4.497 0.000

Problem 882

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

155 155 187 400 0 1306 0 447 -1

N.S.

1 1.00 1.21 2.58 0.00 8.43 0.00 2.88 -0.01

time (sec)

N/A 0.066 0.146 0.114 0.000 6.987 0.000 4.349 0.000

Problem 883

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F(-1) F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

352 352 347 815 0 0 0 0 -1

N.S.

1 1.00 0.99 2.32 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.286 3.123 0.165 0.000 0.000 0.000 0.000 0.000

Problem 884

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F(-1) F(-1) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

642 642 623 1481 0 0 0 0 -1

N.S.

1 1.00 0.97 2.31 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.569 13.235 0.157 0.000 0.000 0.000 0.000 0.000

Problem 885

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F(-1) F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

1064 1064 1013 2685 0 0 0 14731 -1

N.S.

1 1.00 0.95 2.52 0.00 0.00 0.00 13.84 -0.00

time (sec)

N/A 1.186 15.278 0.150 0.000 0.000 0.000 12.059 0.000

Problem 886

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

1551 1551 26600 32647 0 1782 0 0 -1

N.S.

1 1.00 17.15 21.05 0.00 1.15 0.00 0.00 -0.00

time (sec)

N/A 5.336 35.026 0.283 0.000 0.703 0.000 0.000 0.000

Problem 887

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

1015 1015 15781 20224 0 1158 0 0 -1

N.S.

1 1.00 15.55 19.93 0.00 1.14 0.00 0.00 -0.00

time (sec)

N/A 2.622 33.952 0.155 0.000 0.430 0.000 0.000 0.000

Problem 888

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

652 652 8432 10711 0 740 0 0 -1

N.S.

1 1.00 12.93 16.43 0.00 1.13 0.00 0.00 -0.00

time (sec)

N/A 0.705 33.058 0.129 0.000 0.761 0.000 0.000 0.000

Problem 889

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

513 513 1086 4356 0 481 0 0 -1

N.S.

1 1.00 2.12 8.49 0.00 0.94 0.00 0.00 -0.00

time (sec)

N/A 0.402 28.195 0.156 0.000 0.470 0.000 0.000 0.000

Problem 890

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

764 969 35245 6812 0 0 0 0 -1

N.S.

1 1.27 46.13 8.92 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 2.730 34.175 0.174 0.000 0.000 0.000 0.000 0.000

Problem 891

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

743 934 16573 16696 0 0 0 0 -1

N.S.

1 1.26 22.31 22.47 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 2.226 33.308 0.141 0.000 0.000 0.000 0.000 0.000

Problem 892

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-1) F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

1034 1705 33765 55360 0 0 0 0 -1

N.S.

1 1.65 32.65 53.54 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 5.413 34.715 0.214 0.000 0.000 0.000 0.000 0.000

Problem 893

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

1098 1098 17771 22215 0 1267 0 0 -1

N.S.

1 1.00 16.18 20.23 0.00 1.15 0.00 0.00 -0.00

time (sec)

N/A 4.406 34.282 0.158 0.000 0.622 0.000 0.000 0.000

Problem 894

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

755 755 10030 12922 0 840 0 0 -1

N.S.

1 1.00 13.28 17.12 0.00 1.11 0.00 0.00 -0.00

time (sec)

N/A 1.321 33.317 0.150 0.000 0.361 0.000 0.000 0.000

Problem 895

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

519 519 792 6207 0 567 0 0 -1

N.S.

1 1.00 1.53 11.96 0.00 1.09 0.00 0.00 -0.00

time (sec)

N/A 0.382 28.165 0.138 0.000 0.785 0.000 0.000 0.000

Problem 896

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

444 444 936 1854 0 417 0 0 -1

N.S.

1 1.00 2.11 4.18 0.00 0.94 0.00 0.00 -0.00

time (sec)

N/A 0.256 25.434 0.132 0.000 0.932 0.000 0.000 0.000

Problem 897

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

700 700 1261 3126 0 0 0 0 -1

N.S.

1 1.00 1.80 4.47 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.335 29.923 0.138 0.000 0.000 0.000 0.000 0.000

Problem 898

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

736 957 1471 13872 0 0 0 0 -1

N.S.

1 1.30 2.00 18.85 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 2.214 32.260 0.152 0.000 0.000 0.000 0.000 0.000

Problem 899

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-1) F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

1049 1747 36617 57841 0 0 0 0 -1

N.S.

1 1.67 34.91 55.14 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 5.536 34.740 0.208 0.000 0.000 0.000 0.000 0.000

Problem 900

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

774 774 1402 14978 0 883 0 0 -1

N.S.

1 1.00 1.81 19.35 0.00 1.14 0.00 0.00 -0.00

time (sec)

N/A 1.391 32.253 0.143 0.000 0.848 0.000 0.000 0.000

[next] [prev] [prev-tail] [front] [up]